21. Godel's proof]CD[
المؤلف: Nagel, Ernest, by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Godel's theorem
رده :
CD
1743-34
22. Godel's theorem: an incomplete guide to its use and abuse
المؤلف: Franzen, Torkel
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Godel's theorem,، Incompleteness theorems
رده :
QA
9
.
65
.
F73
2005
23. Gödel's theorem in focus /
المؤلف: edited by S.G. Shanker.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel, Kurt.,Gödel's theorem.,Gödel's theorem.,Gödel's theorem.,Logic, Symbolic and mathematical.
رده :
QA9
.
65
.
G63
1989
24. Godel's theorem in focus
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
G63
1988
25. Godel's theorem in focus
المؤلف: edited by S.G. Shanker
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
G6
1988
26. Godel's theorem in focus
المؤلف: edited by S. G. Shanker
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
G638
27. Godel's theorem simplified /
المؤلف: Harry J. Gensler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel's theorem.,Gödel, Théorème de.,Gödel's theorem.,Gödelscher Unvollständigkeitssatz,Gödelscher Unvollständigkeitssatz.
رده :
QA9
.
65
.
G46
1984
28. Gödel's way :
المؤلف: Gregory Chaitin, Newton C.A. da Costa & Francisco A. Doria
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel's theorem
رده :
QA9
.
65
.
C428
2012
29. Impossibility
المؤلف: / John D. Barrow
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
30. Impossibility
المؤلف: / John D. Barrow
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
31. Impossibility
المؤلف: / John D. Barrow
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
32. Impossibility
المؤلف: / John D. Barrow
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
33. Komplexitat von Entscheidungsproblemen : ein Seminar
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Godel's theorem-- Congresses,، Computational complexity-- Congresses,، Turing machines
رده :
QA
9
.
65
.
K65
34. Komplexitat von Entscheidungsproblemen : ein Seminar
المؤلف: editors Ernst Specker, Volker Strassen
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L4
v
.
43
35. Komplexitat von Entscheidungsproblemen : ein seminar
المؤلف: edited by Ernst Specker, Volker Strassen
المکتبة: (طهران)
موضوع: Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L28
Vol
.
43
36. Kurt Gödel and the foundations of mathematics :
المؤلف: edited by Matthias Baaz ... [et al.]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel, Kurt,Gödel's theorem,Mathematics-- Philosophy
رده :
QA9
.
65
.
K87
2011
37. Kurt Godel and the foundations of mathematics : horizons of truth
المؤلف: edited by Matthias Baaz ... ]et al.[
المکتبة: (طهران)
موضوع: ، Godel's theorem,Philosophy ، Mathematics,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
65
.
K87
38. Les theoremes d'incompletude de Godel
المؤلف: Smullyan, Raymond Merrill, 9191-
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
39. Mechanism, mentalism, and metamathematics :an essay on finitism
المؤلف: Webb, Judson Chambers
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Metamathematics,، Incompleteness theorems,، Godel's theorem
رده :
QA
9
.
8
.
W4
C1980
40. Metamathematics, machines, and Gödel's proof /
المؤلف: N. Shankar.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving.,Gödel's theorem-- Data processing.,Automatic theorem proving.,Gödel's theorem-- Data processing.,Gödelscher Unvollständigkeitssatz.,Metamathematik.
رده :
QA9
.
65
.
S53
1997
